PostulateMacro.agda:15,8-19
Cannot unquote non-canonical type checking computation
  stuck
when checking that the expression unquote not-so-good has type Nat
